Lógica simbólica para informáticos
Por: Iranzo, Pascual Julián [autor]
.
Editor: Santa Fe de Bogotá (Colombia): Alfaomega Colombiana, 2005Descripción: 299 páginas.Tipo de contenido: text Tipo de medio: no mediado Tipo de portador: volumenISBN: 9789701510728.Tema(s): SISTEMAS DE ALMACENAMIENTO Y RECUPERACION DE INFORMACION | ANALISIS DE SISTEMAS | SISTEMAS DE TRANSMISION DE DATOS | Tecnologías de la información y la comunicación (TIC) - Tecnologías de la información y la comunicación (TIC)Clasificación CDD: 005.1
Contenidos:
Introducción a la lógica.-- Presentación de los sistemas lógicos.-- Lógica de proposiciones.-- Semántica.-- El lenguaje formal de la lógica de enunciados.-- Álgebra de boole y operadores booleanos.-- Tablas de verdad y funciones de verdad.-- Valoración y equivalencia lógica.-- Cálculo axiomático y propiedades formales.-- Lenguaje objeto y metalenguaje.-- Cálculo de deducción natural.-- Lógica de predicados.-- Cálculo Axiomático y propiedades formales formales.-- Cálculo de deducción natural.-- Extensiones de la lógica de predicados.-- Fundamentos de matemáticas
| Tipo de ítem | Ubicación actual | Colección | Signatura | Estado | Fecha de vencimiento |
|---|---|---|---|---|---|
Libros
|
Biblioteca General | Fac de Sistemas y Telecomunicaciones - Carrera de Informática | 005.1 IRAl (Navegar estantería) | Disponible |
Incluye figuras, tablas, bibliografía
Introducción a la lógica.-- Presentación de los sistemas lógicos.-- Lógica de proposiciones.-- Semántica.-- El lenguaje formal de la lógica de enunciados.-- Álgebra de boole y operadores booleanos.-- Tablas de verdad y funciones de verdad.-- Valoración y equivalencia lógica.-- Cálculo axiomático y propiedades formales.-- Lenguaje objeto y metalenguaje.-- Cálculo de deducción natural.-- Lógica de predicados.-- Cálculo Axiomático y propiedades formales formales.-- Cálculo de deducción natural.-- Extensiones de la lógica de predicados.-- Fundamentos de matemáticas
No hay comentarios para este ítem.